Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
91	Journal of Artificial Intelligence Research–567 Submitted 09/08; publishedAn Anytime Algorithm for Optimal Coalition Structure Generation Talal Rahwan Add to Reading List Source URL: jair.org Language: English - Date: 2009-04-21 14:18:39 Applied mathematics Numerical analysis Search algorithms Combinatorial optimization Algorithm Mathematical logic Genetic algorithm Dynamic programming Anytime algorithm Mathematical optimization Operations research Mathematics
92	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
93	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
94	A Fuzzy SMART Based Dynamic Decision Making System: A Voltage Control Case Study Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 18:23:18 Electrical engineering Operations research Systems engineering Artificial intelligence Logic in computer science Fuzzy logic Power flow study Mathematical optimization Control system Electromagnetism Science Systems theory
95	Finding Most Likely Haplotypes in General Pedigrees through Parallel Branch and Bound Search Rina Dechter, University of California Irvine Joint work with Lars Otten Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 16:54:54 Logic programming Constraint programming Mathematics Computing Mathematical optimization Operations research Algorithm
96	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
97	Experiments with Branching using General Disjunctions A. Mahajan∗ T.K Ralphs † Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:25:53 Combinatorial optimization Operations research Mathematical logic Linear programming Linear programming relaxation Cutting-plane method Algorithm Branch and bound Branch and cut Mathematical optimization Mathematics Theoretical computer science
98	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-03-25 09:27:15 Automated planning and scheduling Combinatorial optimization Mathematical logic Planning Domain Definition Language SAS Symmetry in mathematics FO Symmetry S0 Theoretical computer science Mathematics Applied mathematics
99	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
100	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2007-09-05 10:42:25 Management Problem solving Mathematical optimization STRIPS Logic programming Planning Planner Vienna U-Bahn Genetic algorithm Artificial intelligence Automated planning and scheduling Neuropsychological assessment

UPDATE